Concurrency Control

Control flow analysis of UML 2.0 sequence diagrams

Flow Control / Concurrency Control / Sequence Diagram / Software development life cycle / Design Model

Optimistic path-based concurrency control over XML documents

XML / Concurrency Control / Detection Algorithm

Specifying and proving serializability in temporal logic

History / Computer Science / Logic / Database Systems / Protocols / Classical Logic / Formal Verification / Linear Temporal Logic / Histories / Interference / Concurrency Control / Semantic Interpretation / Temporal Logic / Database theory / Classical Logic / Formal Verification / Linear Temporal Logic / Histories / Interference / Concurrency Control / Semantic Interpretation / Temporal Logic / Database theory

EIT - Escalonador Inteligente de Transações

Fuzzy Logic / expert System / Concurrency Control

Concurrency Control for Temporal Databases

Spin Model checker / Performance Evaluation / Formal Verification / Concurrency Control / Temporal DB

Mapping esterel onto a multi-threaded embedded processor

Synchronous Language / Control Dependence / Exception Handling / Embedded processor / Optimal Reactive Power System / Concurrency Control / Control Structure / Concurrency Control / Control Structure

Data management issues in vehicle control systems: a case study

Data Management / DATABASE MANAGEMENT SYSTEM / Case Study / Shared memory / Vehicle dynamic control / Real Time Systems / Control Application / Data storage / Real Time / Concurrency Control / Data Validation / Real Time Systems / Control Application / Data storage / Real Time / Concurrency Control / Data Validation

A decentralized deadlock-free concurrency control method for multidatabase transactions

Proceedings / Concurrency Control

Data Management Issues in Vehicle Control Systems: a Case Study

Data Management / DATABASE MANAGEMENT SYSTEM / Case Study / Shared memory / Vehicle dynamic control / Control Application / Data storage / Real Time / Concurrency Control / Data Validation / Control Application / Data storage / Real Time / Concurrency Control / Data Validation

Isolates: Serializability Enforcement for Concurrent ML

Message Passing / Concurrency Control

Isolates: Serializability Enforcement for Concurrent ML

Message Passing / Concurrency Control

Transactional issues in sensor data management

Data Management / Sensor Network / Concurrency Control / Large Scale / Sensor system

Relaxing correctness criteria in real-time DBMSs

Protocol Design / DATABASE MANAGEMENT SYSTEM / Temporal Constraints / Real Time / Concurrency Control / Cata

Proof of serializability for semistructured databases

Semistructured Data / Relational Model / Concurrency Control

Relaxing correctness criteria in real-time DBMSs

Protocol Design / DATABASE MANAGEMENT SYSTEM / Temporal Constraints / Real Time / Concurrency Control / Cata

A concurrency control framework for collaborative systems

Collaborative System / Merging / Concurrency Control / Coupling

Copyright © 2017 DADOSPDF Inc.